
// Letting java do it's thing
+time(_): blyth.Action(A,B,C) <-
	!act(A,B,C).
	
// Stepping
+!act(A,B,C) : A == 0 <-
	step(B).
	
// Turning
+!act(A,B,C) : A == 1 <-
	turn(B).	
	
// Waiting
+!act(A,B,C) : A == 2 <-
	wait.
	
// Eating
+!act(A,B,C) : A == 3 <-
	eat.
	
// Attacking
+!act(A,B,C) : A == 4 <-
	attack(B).
	
// Transfering
+!act(A,B,C) : A == 5 <-
	transfer(B,C).